Initialising ...
Initialising ...
Initialising ...
Initialising ...
Initialising ...
Initialising ...
Initialising ...
鈴土 知明; 渡邉 憲夫
JAERI-Review 99-027, p.23 - 0, 1999/11
JAERI-Review-99-027.pdf:1.35MB
平成9年度より行っている「ディジタル計測制御系の信頼性に関する調査」研究の一環として、ソフトウェア開発プロセスにおける信頼性向上を目的として用いられている方法やツール等について、理論と技術的現状を調査した。その結果から、計算機支援のソフトウェア設計及び作成ツール(CASEツール)、ソフトウェアの概略的な要求事項とそこから作成された詳細設計仕様との整合性を代数的に検証する手法、及び、開発終了時前の健全性確認段階におけるソフトウェア内部情報を使った効率的な試験方法(ホワイトボックス試験)等が、将来、信頼性向上に大きな役割を果たしていくことが予想される。